/**
 * This exception should never be thrown...
 * unless there is a bug somewhere (but then it could help 
 * in locating it quickly).
 * 
 * @author marc
 *
 */
public class EFunctionalException extends Exception {

}
